($\lambda$$g$,$b$,$p$,$z$. when $b$. $p$) $\in$ $g$:IMonoid$\rightarrow\mathbb{B}\rightarrow\mid$$g$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mid$$g$$\mid$